“Stag-Horn” Calculus Removed from a Single Kidney

The Horn Mu-calculus

The Horn -calculus is a logic programming language allowing arbitrary nesting of least and greatest fixed points. The Horn -programs can naturally expresses safety and liveness properties for reactive systems. We extend the setbased analysis of classical logic programs by mapping arbitrary -programs into “uniform” -programs. Our two main results are that uniform -programs express regular sets o...

Functional RuleML: From Horn Logic with Equality to Lambda Calculus∗

Functions are introduced to RuleML via orthogonal dimensions “constructor vs. userdefined”, “singlevs. set-valued”, “firstvs. higher-order”. This enables functionallogic programming for the Semantic Web. ∗Thanks to David Hirtle, Duong Dai Doan, and Thuy Thi Thu Le for helpful discussions and for improving the DTD. This research was partially supported by NSERC.

A Fibrous Tumour Removed from the Uterus

Calculus Hydronephrosis in a Horse-Shoe Kidney

The following case appears to be worthy 01 record on account of the rarity of renal stones in females and also because of the condition revealed afterwards. The patient, a Hindu child-widow, aged about 40 years, was admitted to the Java Arogya Hospital, Gwalior, on 8th March, 1931, complaining of a tumour in the abdomen of four months' duration. There was nothing of note in the personal history...

A checklist of stag beetles (Coleoptera: Scarabaeoidea: Lucanidae) from Iran.

An updated checklist of the Lucanidae (Coleoptera) from Iran is given. New locality records are listed and some dubious distributional records are discussed. Dorcus vavrai Nonfried, 1905 is placed in synonymy with Dorcus peyronis Reiche and Saulcy, 1856 (new synonymy) The female of Lucanus xerxes Král, 2004 is described. A key for the identification of the Iranian stag beetle species is also pr...